The Bedrock Structured Programming System Combining Generative Metaprogramming and Hoare Logic in an Extensible Program Verifier Adam Chlipala MIT CSAIL

Source URL: adam.chlipala.net

• Software engineering
• Theoretical computer science
• Computer programming
• Formal methods
• Logic in computer science
• Macro
• Hoare logic
• Assertion
• Separation logic
• C preprocessor
• Postcondition
• Assembly language

Inference and Checking of Object Ownership Wei Huang1 , Werner Dietl2 , Ana Milanova1 , and Michael D. Ernst2 1 Rensselaer Polytechnic Institute

Source URL: homes.cs.washington.edu

• Software engineering
• Type theory
• Programming language theory
• Computing
• Subtyping
• Type system
• System F
• HindleyMilner type system
• ML
• Type inference
• Typeof
• Is-a

Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be found at the ENTCS Macro Home Page. System Description: Delphin – A Functional Programming Language for Ded

Source URL: www.itu.dk

• Type theory
• Logic in computer science
• Lambda calculus
• Dependently typed programming
• Subroutines
• Combinatory logic
• Higher-order abstract syntax
• Twelf
• Dependent type
• Parameter
• Logical framework
• Fixed-point combinator

Istation Reading Curriculum Correlated to CALIFORNIA COMMON CORE STATE STANDARDS for English Language Arts and Literacy Grades 6-8

Source URL: www.istation.com

• Logic programming
• Common Core State Standards Initiative
• RL
• System time
• Education
• Computing
• Computer engineering

Compositional Verification of a Baby Virtual Memory Manager Alexander Vaynberg and Zhong Shao Yale University Abstract. A virtual memory manager (VMM) is a part of an operating system

Source URL: flint.cs.yale.edu

• Formal methods
• Logic in computer science
• Models of computation
• Programming language semantics
• Abstraction
• Kernel
• Abstract state machines
• Semantics
• Denotational semantics
• Operational semantics
• Refinement
• Limit

Scientific Report First name / Family name Francesco Santini

Source URL: fellowship.ercim.eu

• Constraint programming
• Mathematical optimization
• Software engineering
• Computer programming
• Constraint automaton
• Computing
• Constraint satisfaction problem
• Constraint satisfaction
• Constraint
• Reo Coordination Language
• Constrained optimization
• Multi-agent system

TSL: A System for Generating Abstract Interpreters and its Application to Machine-Code Analysis JUNGHEE LIM GrammaTech, Inc. and THOMAS REPS

Source URL: research.cs.wisc.edu

• Logic in computer science
• Programming language semantics
• Programming language implementation
• Compiler construction
• Formal methods
• Abstract interpretation
• Semantics
• Static program analysis
• Syntax
• GrammaTech
• Denotational semantics
• Compiler

The RPC calculus Ezra elias kilty Cooper University of Edinburgh ABSTRACT Several recent language designs have offered a unified language for programming a distributed system, with explicit

Source URL: www.ezrakilty.net

Istation Reading Curriculum Correlated to Georgia Standards of Excellence (GSE) for English Language Arts and Literacy Grades 6-8

Source URL: www.istation.com

• Computing
• Logic programming
• System time
• XC
• TT
• Software
• Computer engineering

Proceedings of the First Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software Vasco T. Vasconcelos Nobuko Yoshida

Source URL: places08.di.fc.ul.pt

• Concurrent programming languages
• Edsger W. Dijkstra
• Parallel computing
• Distributed computing
• Concurrent computing
• Programming language
• Go
• Type system
• Modularity
• Concurrency
• Limbo